<html>
<body>
Reports exceptions that are declared in a method's signature but never
thrown by the method itself or its implementations/derivatives.
</body>
</html>
